A Construction and Analysis Tool Based on TIPP 113

1 There are many ways to incorporate a notion of time into process algebras in order to integrate functional design and performance analysis. One major research strand, stochastic process algebras, concentrates on the annotation of actions with exponentially distributed random variables. This paper presents a tool for the functional analysis and performance evaluation of complex systems based on the stochastic process algebra paradigm. The TIPP-tool provides facilities for model speciica-tion, reachability analysis, as well as several numerical algorithms for the solution of the underlying Markov chain and the computation of performance measures.